How to prove trignometry identity